overviewControls: Rename appGridBox to workspacesBox

The naming of the appGridBox is quite confusing, as it actually
describes the box of the workspaces strip, but in the appGrid state of
the overview. Change that name and call it workspacesBox instead, which
seems to make more sense here.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3278>

diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index 91a8be5a2aeac60a5ebf08b1fcafc63843c19312..9b1eaf52b584600667f856afd3ba21a6d710f40f 100644 (file)
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -108,7 +108,7 @@ class ControlsManagerLayout extends Clutter.LayoutManager {
         return workspaceBox;
     }
 
-    _getAppDisplayBoxForState(state, box, searchHeight, dashHeight, appGridBox) {
+    _getAppDisplayBoxForState(state, box, searchHeight, dashHeight, workspacesBox) {
         const [width, height] = box.get_size();
         const {y1: startY} = this._workAreaBox;
         const appDisplayBox = new Clutter.ActorBox();
@@ -120,14 +120,14 @@ class ControlsManagerLayout extends Clutter.LayoutManager {
             break;
         case ControlsState.APP_GRID:
             appDisplayBox.set_origin(0,
-                startY + searchHeight + this._spacing + appGridBox.get_height() + this._spacing);
+                startY + searchHeight + this._spacing + workspacesBox.get_height() + this._spacing);
             break;
         }
 
         appDisplayBox.set_size(width,
             height -
             searchHeight - this._spacing -
-            appGridBox.get_height() - this._spacing -
+            workspacesBox.get_height() - this._spacing -
             dashHeight - this._spacing);
 
         return appDisplayBox;